(0 19 13)(1 9 8)(2 6 4)(3 18 15)(5 10 7)(11 16 14)(12 20 17)
ALLOWS (11/8)-SEQUENCE
1: (12 17 20)
(0 19 13)(1 9 8)(2 6 4)(3 18 15)(5 10 7)(11 16 14)(12 17 20)
2: (0 19 13)
(0)(1 9 8)(2 6 4)(3 18 15)(5 10 7)(11 16 14)(12 17 20)(13)(19)
3: (12 17 20)
(0)(1 9 8)(2 6 4)(3 18 15)(5 10 7)(11 16 14)(12)(13)(17)(19)(20)
4: (3 18 15)
(0)(1 9 8)(2 6 4)(3)(5 10 7)(11 16 14)(12)(13)(15)(17)(18)(19)(20)